An Operational Semantics for the Eiffel// Language
نویسندگان
چکیده
This paper formally describes the dynamic semantic of the Eiiel// language (Eiiel parallel). Eiiel// is a parallel extension of Eiiel language based on passive and active objects, asynchronous communication and wait-by-necessity. In this semantics we use formal speciications of inheritance and dynamic binding which we have deened in Natural Semantics for the Eiiel language. While in the framework of Natural Semantics (big-step semantics), we specify the Eiiel// semantics in the SOS style (small-step semantics). From this speciication we automatically generate a programming environment for Eiiel//. Une SSmantique Oprationnelle pour le Langage Eiiel// RRsumm : Cet article ddcrit formellement la ssmantique dynamique du langage Eiiel//, extension paralllle du langage Eiiel, dont les caracttristiques principales sont la notion d'objets passifs et actifs, l'asynchronisme, et l'attente par nncessitt. Pour cette ssman-tique, nous utilisons la spciication formelle de l'hhritage et de la liaison dynamique que nous avons dddnis en SSmantique Naturelle pour le langage Eiiel. Bien que dans le cadre de la SSmantique Naturelle (ssmantique big-step) Nous spciions la ssmantique d'Eiiel// dans le style SOS (ssmantique small-step). A partir de cette spciication, nous ggnnrons automatiquement un environnement de programmation pour Eiiel//.
منابع مشابه
Soundness and Completeness of a Program Logic for Eiffel
Object-oriented languages provide advantages such as reuse and modularity, but they also raise new challenges for program verification. Program logics have been developed for languages such as C# and Java. However, these logics do not cover the specifics of the Eiffel language. This paper presents a program logic for Eiffel that handles exceptions, once routines, and multiple inheritance. The l...
متن کاملA Sound and Complete Program Logic for Eiffel
Object-oriented languages provide advantages such as reuse and modularity, but they also raise new challenges for program verification. Program logics have been developed for languages such as C# and Java. However, these logics do not cover the specifics of the Eiffel language. This paper presents a program logic for Eiffel that handles exceptions, once routines, and multiple inheritance. The l...
متن کاملBuilding a Kermeta Compiler using Scala: an Experience Report
This paper presents an experience report of building a Kermeta compiler using Scala as a target language. Kermeta is a domain specific language inspired by languages such as Eiffel or OCL for specifying the operational semantics of metamodels. This engineering work, initially motivated by performance issues of our Kermeta interpreter, is an excuse to study and discuss some paradigm mismatches b...
متن کامل- 1 - Concurrency Annotations for Reusable Concurrent Software
Concurrency annotations are inserted into otherwise sequential object-oriented code, inducing a concurrent semantics that is very close to the original sequential semantics. This facilitates integrated engineering of sequential and concurrent software, in particular reuse of code across the boundary between concurrency and sequentiality. Concurrency annotations also blend well with inheritance,...
متن کاملApplication of Frame Semantics to Teaching Seeing and Hearing Vocabulary to Iranian EFL Learners
A term in one language rarely has an absolute synonymous meaning in the same language; besides, it rarely has an equivalent meaning in an L2. English synonyms of seeing and hearing are particularly grammatically and semantically different. Frame semantics is a good tool for discovering differences between synonymous words in L2 and differences between supposed L1 and L2 equivalents. Vocabulary ...
متن کامل